main()
{
    int a, b, c, d, e, f;
    for (a=1; a>=0; a--)
      for (b=1; b>=0; b--)
        for (c=1; c>=0; c--)
          for (d=1; d>=0; d--)
            for (e=1; e>=0; e--)
              for (f=1; f>=0; f--)
                if ( a+b>=1 && a+d!=2 && a+e+f==2
                    && (b+c==0 || b+c==2) && c+d==1
                    && (d+e==0 || d==1) )
                    {
                        printf("A will%s be assigned.\n",a ?"" :"not");
                        printf("B will%s be assigned.\n",b ?"" :"not");
                        printf("C will%s be assigned.\n",c ?"" :"not");
                        printf("D will%s be assigned.\n",d ?"" :"not");
                        printf("E will%s be assigned.\n",e ?"" :"not");
                        printf("F will%s be assigned.\n",f ?"" :"not");
                    }
}